Instance Verification Kit (IVK)
spin lock @ [53866+22+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
Instance Signature: lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
net2272_dequeue
[24957+15+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_dequeue_all
[24634+19+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_disable
[8941+15+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_done
[10106+12+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_handle_dma
[39388+18+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_handle_stat0_irqs
[44686+25+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_handle_stat1_irqs
[52175+25+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_irq
[53687+11+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_queue
[21948+13+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_read_fifo
[14829+17+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_stop
[38858+12+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
net2272_write_fifo
[12013+18+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]
stop_activity
[38282+13+/linux-3.17-rc1/drivers/usb/gadget/udc/net2272.c]